Alexandre Lorenzatti, Mara Abel, Sandro Rama Fiorini, Ariane's Advances in Artificial Intelligence – SBIA 2010: 20th PDF

By Alexandre Lorenzatti, Mara Abel, Sandro Rama Fiorini, Ariane Kravczyk Bernardes (auth.), Antônio Carlos da Rocha Costa, Rosa Maria Vicari, Flavio Tonidandel (eds.)

ISBN-10: 3642161375

ISBN-13: 9783642161377

ISBN-10: 3642161383

ISBN-13: 9783642161384

This ebook constitutes the lawsuits of the twentieth Brazilian Symposium on man made Intelligence, SBIA 2010, held in São Bernardo do Campo, Brazil, in October 2010. The 31 papers offered have been rigorously reviewed and chosen from ninety one submissions. the themes coated are: ontologies, wisdom illustration and reasoning; computing device studying; self sustaining brokers and multiagent platforms; common language processing; making plans and scheduling; constraints and seek; and logics for AI.

Show description

Read or Download Advances in Artificial Intelligence – SBIA 2010: 20th Brazilian Symposium on Artificial Intelligence, São Bernardo do Campo, Brazil, October 23-28, 2010. Proceedings PDF

Best nonfiction_7 books

Download e-book for kindle: Complementary and Alternative Approaches to Biomedicine by Nobuo Yamaguchi (auth.), Edwin L. Cooper, Nobuo Yamaguchi

WHAT occurred IN KANAZAWA? THE delivery OF eCAM This ebook comprises the complaints of the overseas Symposium on Complementary and substitute drugs, (CAM) which used to be convened in Kanazawa Japan, November 8-10, 2002. The members have been mostly from Japan, united states, China, France, England, Germany, Taiwan, and India.

Professor Dr. Sc. Sergey Ivanovich Molokovsky, Professor Dr.'s Intense Electron and Ion Beams PDF

Excessive Ion and Electron Beams treats extreme charged-particle beams utilized in vacuum tubes, particle beam expertise and experimental installations resembling unfastened electron lasers and accelerators. It addresses, between different issues, the physics and easy conception of extreme charged-particle beams; computation and layout of charged-particle weapons and focusing structures; multiple-beam charged-particle platforms; and experimental equipment for investigating severe particle beams.

Carrick L. Talmadge Ephraim Fischbach's The Search for Non-Newtonian Gravity PDF

Newton's inverse-square legislation of gravitation has been one of many cornerstones of physics ever because it used to be proposed three hundred years in the past. one in every of its most advantageous gains is the prediction that each one gadgets fall in a gravitational box with an identical acceleration. This commentary, within the type of the Equivalence precept, is a basic assumption of Einstein's normal Relativity conception.

Extra info for Advances in Artificial Intelligence – SBIA 2010: 20th Brazilian Symposium on Artificial Intelligence, São Bernardo do Campo, Brazil, October 23-28, 2010. Proceedings

Example text

In Fig. 1 we have the TBox and ABox which constitute the belief base of the scheduler agent. The intensional description is characterized by TBox assertions. [1] T Box [2] [3] [4] [5] [6] ABox : ∃willPresent availablePresenter late ¬availablePresenter availablePresenter presenter paperPresenter presenter invitedSpeaker presenter : willPresent(john, paper) Fig. 1. Example of AgentSpeak-DL belief base of scheduler agent According to these assertions we have that: someone who is scheduled to make a presentation is an available presenter (line 1); someone who is late is not an available presenter (line 2); and that available presenters, paper presenters, and invited speakers are all presenters (lines 3, 4 and 5).

JASDL: A practical programming approach combining agent and semantic web technologies. , Winikoff, M. ) DALT 2008. LNCS (LNAI), vol. 5397, pp. 91–110. Springer, Heidelberg (2009) 10. : Updating description logic aboxes. In: [13], pp. 46–56 11. : Ontology schema for an agent belief store. International Journal of Man-Machine Studies 65(7), 640–658 (2007) 12. : Actions and programs over description logic ontologies. , Tessaris, S. ) Description Logics. CEUR Workshop Proceedings, vol. org (2007) 13.

5 Ontological Reasoning in AgentSpeak-DL In the previous section we saw the benefits of ontological reasoning for belief base testing and for plan selection. at, the function Test(bs, at) returns a set with all substitutions θ such that θ at can be derived from the ontology in the agent’s beliefs, where θ at is the predicate that results from the application of substitution θ to at. – Collecting relevant plans - given the plans and the beliefs of an agent ag, and a triggering event te, the function RelPlans(ag, te), returns all plans te : ct ← h such that te te can be derived from the ontology in the belief base of the agent.

Download PDF sample

Advances in Artificial Intelligence – SBIA 2010: 20th Brazilian Symposium on Artificial Intelligence, São Bernardo do Campo, Brazil, October 23-28, 2010. Proceedings by Alexandre Lorenzatti, Mara Abel, Sandro Rama Fiorini, Ariane Kravczyk Bernardes (auth.), Antônio Carlos da Rocha Costa, Rosa Maria Vicari, Flavio Tonidandel (eds.)


by Anthony
4.1

Rated 4.71 of 5 – based on 30 votes