Logics in Artificial Intelligence: 9th European Conference, by Francesca Rossi (auth.), Jóse Júlio Alferes, João Leite

By Francesca Rossi (auth.), Jóse Júlio Alferes, João Leite (eds.)

This e-book constitutes the refereed complaints of the ninth eu convention on Logics in man made Intelligence, JELIA 2004, held in Lisbon, Portugal, in September 2004.

The fifty two revised complete papers and 15 revised structures presentation papers provided including the abstracts of three invited talks have been conscientiously reviewed and chosen from a complete of 169 submissions. The papers are geared up in topical sections on multi-agent platforms; good judgment programming and nonmonotonic reasoning; reasoning below uncertainty; common sense programming; activities and causation; complexity; description logics; trust revision; modal, spatial, and temporal logics; theorem proving; and applications.

Show description

Read or Download Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. Proceedings PDF

Similar international conferences and symposiums books

Object-Oriented Programming: 8th European Conference, ECOOP '94 Bologna, Italy, July 4–8, 1994 Proceedings

This quantity includes the court cases of the eighth ecu convention on Object-Oriented Programming (ECCOP '94), held in Bologna, Italy in July 1994. ECOOP is the top-rated eu occasion on object-oriented programming and know-how. The 25 complete refereed papers awarded within the quantity have been chosen from 161 submissions; they're grouped in classes on classification layout, concurrency, styles, declarative programming, implementation, specification, dispatching, and event.

Principles of Data Mining and Knowledge Discovery: First European Symposium, PKDD '97 Trondheim, Norway, June 24–27, 1997 Proceedings

This e-book constitutes the refereed lawsuits of the 1st eu Symposium on rules of knowledge Mining and data Discovery, PKDD '97, held in Trondheim, Norway, in June 1997. the amount offers a complete of 38 revised complete papers including abstracts of 1 invited speak and 4 tutorials.

Interactive Distributed Multimedia Systems and Telecommunication Services: 5th International Workshop, IDMS'98 Oslo, Norway, September 8–11, 1998 Proceedings

This ebook constitutes the refereed lawsuits of the fifth overseas Workshop on Interactive allotted Multimedia structures and Telecommunication companies, IDMS'98, held in Oslo, Norway, in September 1998. The 23 revised complete papers provided have been conscientiously chosen from a complete of sixty eight submissions.

Current Trends in Database Technology – EDBT 2006: EDBT 2006 Workshops PhD, DataX, IIDB, IIHA, ICSNW, QLQP, PIM, PaRMA, and Reactivity on the Web, Munich, Germany, March 26-31, 2006, Revised Selected Papers

This ebook constitutes the completely refereed joint post-proceedings of 9 workshops held as a part of the tenth foreign convention on Extending Database know-how, EDBT 2006, held in Munich, Germany in March 2006. The 70 revised complete papers awarded have been chosen from various submissions in the course of rounds of reviewing and revision.

Extra info for Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. Proceedings

Sample text

So the expression ‘preference’ without the qualifier ‘true’ will simply mean an agent’s current vote. We assume that for each preference P there is a symbol P that represents it. There are then two types of primitive propositions in First, there are statements with the content “agent preference is P”. Let represent such statements. Secondly, we include statements with the content “P is the current outcome of the aggregation function”. Let represent such statements. Our language includes the standard boolean connectives, an epistemic modality indexed by each agent plus an additional modality (similarly indexed).

Pacuit, and R. Parikh We develop a logic for reasoning about the knowledge that agents have of their own preferences and other agents’ preferences, in a setting where a social aggregation function is defined and kept fixed throughout. We attempt to formalize the intuition that agents, knowing an aggregation function, and hence its outputs for input preferences, will strategize if they know a) enough about other agents’ preferences and b) that the output of the aggregation function of a changed preference will provide them with a more favorable result, one that is closer to their true preference.

Wiley, New York, 1954. 10. H. A. Simon. The Sciences of the Artificial. MIT Press, Cambridge, MA, 1981. 11. J. von Neumann and O. Morgenstern. Theory of Games and Economic Behavior. Princeton University Press, Princeton, NJ, 1 edition, 1944. edu Abstract. Results in social choice theory such as the Arrow and Gibbard-Satterthwaite theorems constrain the existence of rational collective decision making procedures in groups of agents. The GibbardSatterthwaite theorem says that no voting procedure is strategy-proof.

Download PDF sample

Rated 4.97 of 5 – based on 33 votes