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

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

This publication constitutes the court cases 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 conscientiously reviewed and chosen from ninety one submissions. the subjects coated are: ontologies, wisdom illustration and reasoning; laptop studying; independent brokers and multiagent structures; common language processing; making plans and scheduling; constraints and seek; and logics for AI.

Show description

Read Online 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

Gonadotropin-Releasing Hormone: Molecules and Receptors

This quantity summarizes the evolution and body structure of GnRH molecules and receptors, and offers perception as to how social habit impacts mobile and molecular occasions within the mind from a comparative standpoint. The chapters during this quantity are divided into 3 significant sections: improvement and mobile Migration, GnRH Receptors, body structure and rules.

Computer Safety, Reliability, and Security: SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings

This ebook constitutes the refereed complaints of five workshops co-located with SAFECOMP 2012, the thirty first overseas convention on machine defense, Reliability, and safety, held in Magdeburg, Germany, in September 2012. The forty nine revised complete papers offered have been rigorously reviewed and chosen from a variety of submissions.

A Handbook of Bosnian, Serbian and Croatian

Bosnian, Croatian and Serbian are 3 standardized varieties in response to very comparable linguistic fabric. for plenty of humans the time period "language" capacity standardized type of a language, and during this that means we will communicate of a Bosnian language, a Croatian language, and a Serbian language. "Language" can be a method that enables verbal exchange, and during this which means we will be able to reflect on all 3 to make up one language.

Extra resources 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

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. – Belief addition - given the belief base bs, and a ground predicate at, the function Update(bs, at) returns both the set of beliefs to be removed from, and the set of beliefs to be added to the belief base in order to accommodate at in consistent way.

From now on we assume that the input for our algorithms are taken from normalized and consistent belief bases. R(t1 ,t2 ), where B is a basic concept, R is a binary role, and t, t1 and t2 are constants or variables. B(x), when the constants a1 , . . an denote the objects that belong to the concept B, returns a set of substitutions {[x → a1 ], . . [x → an ]}. R(x, b), where x is a variable and b is a constant, is the set of substitutions {[x → a1 ], . . [x → an ]}, where a1 , . . an are such that (a1 , b), .

However, this approach is quite restricted since only relation elements can be changed in a Kripke model. There are important works on belief update area that has contributed to evolve the theory of model update, such as: Winslett (1988) proposes a pioneering idea towards a model-base minimal change approach for knowledge-base update; Katsuno and Mendelzon (1991) generalizes Winslett’s work and elaborates a set of postulates for finite and propositional knowledge-base update; and Harris and Ryan (2003) discusses about theoretical properties of system update.

Download PDF sample

Rated 4.58 of 5 – based on 4 votes