Cargando…

Foundations of decision-making agents : logic, probability and modality /

This self-contained book provides three fundamental and generic approaches (logical, probabilistic, and modal) to representing and reasoning with agent epistemic states, specifically in the context of decision making. Each of these approaches can be applied to the construction of intelligent softwar...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Das, Subrata Kumar
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Singapore ; Hackensack, NJ : [London] : World Scientific ; Imperial College Press, ©2008.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000Ma 4500
001 EBOOKCENTRAL_ocn560635834
003 OCoLC
005 20240329122006.0
006 m o d
007 cr cn|||||||||
008 080116s2008 si a ob 001 0 eng d
010 |z  2008273481 
040 |a MERUC  |b eng  |e pn  |c MERUC  |d CCO  |d E7B  |d OCLCQ  |d QE2  |d N$T  |d YDXCP  |d CDX  |d IDEBK  |d OCLCQ  |d M6U  |d OCLCQ  |d I9W  |d OCLCO  |d OCLCF  |d OCLCQ  |d EBLCP  |d DEBSZ  |d OCLCQ  |d AZK  |d AGLDB  |d OCLCQ  |d COCUF  |d OCLCQ  |d MOR  |d PIFPO  |d ZCU  |d OCLCQ  |d MERUC  |d OCLCQ  |d U3W  |d STF  |d WRM  |d OCLCQ  |d VTS  |d NRAMU  |d ICG  |d INT  |d VT2  |d AU@  |d OCLCQ  |d WYU  |d TKN  |d DKC  |d OCLCQ  |d M8D  |d UKAHL  |d OCLCQ  |d LEAUB  |d UKCRE  |d OCLCO  |d OCLCQ  |d OCLCO  |d OCLCL 
019 |a 261349786  |a 313650831  |a 471131753  |a 646768213  |a 696629502  |a 815752883  |a 961536917  |a 962678462  |a 988496684  |a 991944204  |a 1037749537  |a 1038592426  |a 1045471452  |a 1055363171  |a 1058035744  |a 1064994711  |a 1086408464  |a 1153557542  |a 1194898536  |a 1228527143 
020 |a 9789812779847  |q (electronic bk.) 
020 |a 9812779841  |q (electronic bk.) 
020 |a 1281938165 
020 |a 9781281938169 
020 |z 9812779833 
020 |z 9789812779830 
029 1 |a AU@  |b 000051365090 
029 1 |a CDX  |b 9529345 
029 1 |a DEBBG  |b BV042965963 
029 1 |a DEBBG  |b BV044179347 
029 1 |a DEBSZ  |b 422095508 
029 1 |a DEBSZ  |b 431679533 
029 1 |a NZ1  |b 14241033 
035 |a (OCoLC)560635834  |z (OCoLC)261349786  |z (OCoLC)313650831  |z (OCoLC)471131753  |z (OCoLC)646768213  |z (OCoLC)696629502  |z (OCoLC)815752883  |z (OCoLC)961536917  |z (OCoLC)962678462  |z (OCoLC)988496684  |z (OCoLC)991944204  |z (OCoLC)1037749537  |z (OCoLC)1038592426  |z (OCoLC)1045471452  |z (OCoLC)1055363171  |z (OCoLC)1058035744  |z (OCoLC)1064994711  |z (OCoLC)1086408464  |z (OCoLC)1153557542  |z (OCoLC)1194898536  |z (OCoLC)1228527143 
050 4 |a QA76.76.I58  |b D37 2008eb 
072 7 |a COM  |x 005030  |2 bisacsh 
072 7 |a COM  |x 004000  |2 bisacsh 
072 7 |a PHP  |2 bicssc 
082 0 4 |a 006.3  |2 22 
049 |a UAMI 
100 1 |a Das, Subrata Kumar. 
245 1 0 |a Foundations of decision-making agents :  |b logic, probability and modality /  |c Subrata Das. 
260 |a Singapore ;  |a Hackensack, NJ :  |b World Scientific ;  |a [London] :  |b Imperial College Press,  |c ©2008. 
300 |a 1 online resource (xv, 366 pages) :  |b illustrations 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
504 |a Includes bibliographical references (pages 347-353) and index. 
588 0 |a Print version record. 
505 0 |a Ch. 1. Modeling agent epistemic states: an informal overview. 1.1. Models of agent epistemic states. 1.2. Propositional epistemic model. 1.3. Probabilistic epistemic model. 1.4. Possible world epistemic model. 1.5. Comparisons of models. 1.6. P3 model for decision-making agents -- ch. 2. Mathematical preliminaries. 2.1. Usage of symbols. 2.2. Sets, relations, and functions. 2.3. Graphs and trees. 2.4. Probability. 2.5. Algorithmic complexity -- ch. 3. Classical logics for the propositional epistemic model. 3.1. Propositional logic. 3.2. First-order logic. 3.3. Theorem proving procedure. 3.4. Resolution theorem proving. 3.5. Refutation procedure. 3.6. Complexity analysis -- ch. 4. Logic programming. 4.1. The concept. 4.2. Program clauses and goals. 4.3. Program semantics. 4.4. Definite programs. 4.5. Normal programs. 4.6. Prolog. 4.7. Prolog systems. 4.8. Complexity analysis -- ch. 5. Logical rules for making decisions. 5.1. Evolution of rules. 5.2. Bayesian probability theory for handling uncertainty. 5.3. Dempster-Shafer theory for handling uncertainty. 5.4. Measuring consensus. 5.5. Combining sources of varying confidence. 5.6. Advantages and disadvantages of rule-based systems -- ch. 6. Bayesian belief networks. 6.1. Bayesian belief networks. 6.2. Conditional independence in belief networks. 6.3. Evidence, belief, and likelihood. 6.4. Prior probabilities in networks without evidence. 6.5. Belief revision. 6.6. Evidence propagation in polytrees. 6.7. Evidence propagation in directed acyclic graphs. 6.8. Complexity of inference algorithms. 6.9. Acquisition of probabilities. 6.10. Advantages and disadvantages of belief networks. 6.11. Belief network tools -- ch. 7. Influence diagrams for making decisions. 7.1. Expected utility theory and decision trees. 7.2. Influence diagrams. 7.3. Inferencing in influence diagrams. 7.4. Compilation of influence diagrams. 7.5. Inferencing in strong junction tress -- ch. 8. Modal logics for the possible world epistemic model. 8.1. Historical development of modal logics. 8.2. Systems of modal logic. 8.3. Deductions in modal systems. 8.4. Modality. 8.5. Decidability and matrix method. 8.6. Relationships among modal systems. 8.7. Possible world semantics. 8.8. Soundness and completeness results. 8.9. Complexity and decidability of modal systems. 8.10. Modal first-order logics. 8.11. Resolution in modal first-order logics. 8.12. Modal epistemic logics. 8.13. Logic of agents beliefs (LAB) -- ch. 9. Symbolic argumentation for decision-making. 9.1. Toulmin's model of argumentation. 9.2. Domino decision-making model for P3. 9.3. Knowledge representation syntax of P3. 9.4. Formalization of P3 via LAB. 9.5. Aggregation via Dempster-Shafer theory. 9.6. Aggregation via Bayesian belief networks. 
520 |a This self-contained book provides three fundamental and generic approaches (logical, probabilistic, and modal) to representing and reasoning with agent epistemic states, specifically in the context of decision making. Each of these approaches can be applied to the construction of intelligent software agents for making decisions, thereby creating computational foundations for decision-making agents. In addition, the book introduces a formal integration of the three approaches into a single unified approach that combines the advantages of all the approaches. Finally, the symbolic argumentation approach to decision making developed in this book, combining logic and probability, offers several advantages over the traditional approach to decision making which is based on simple rule-based expert systems or expected utility theory. 
590 |a ProQuest Ebook Central  |b Ebook Central Academic Complete 
590 |a eBooks on EBSCOhost  |b EBSCO eBook Subscription Academic Collection - Worldwide 
650 0 |a Intelligent agents (Computer software) 
650 0 |a Artificial intelligence  |x Computer programs. 
650 6 |a Agents intelligents (Logiciels) 
650 6 |a Intelligence artificielle  |x Logiciels. 
650 7 |a COMPUTERS  |x Enterprise Applications  |x Business Intelligence Tools.  |2 bisacsh 
650 7 |a COMPUTERS  |x Intelligence (AI) & Semantics.  |2 bisacsh 
650 7 |a Artificial intelligence  |x Computer programs  |2 fast 
650 7 |a Intelligent agents (Computer software)  |2 fast 
650 7 |a Agent  |g Informatik  |2 gnd 
650 7 |a Agents intelligents (logiciels)  |2 ram 
758 |i has work:  |a Foundations of decision-making agents (Text)  |1 https://id.oclc.org/worldcat/entity/E39PCGPKFKFxRX9BpBhWyqw4D3  |4 https://id.oclc.org/worldcat/ontology/hasWork 
776 0 8 |i Print version:  |a Das, Subrata Kumar.  |t Foundations of decision-making agents.  |d Singapore ; Hackensack, NJ : World Scientific ; [London] : Imperial College Press, ©2008  |w (DLC) 2008273481 
856 4 0 |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=1681341  |z Texto completo 
938 |a Askews and Holts Library Services  |b ASKH  |n AH24684881 
938 |a Coutts Information Services  |b COUT  |n 9529345 
938 |a EBL - Ebook Library  |b EBLB  |n EBL1681341 
938 |a ebrary  |b EBRY  |n ebr10255442 
938 |a EBSCOhost  |b EBSC  |n 236056 
938 |a ProQuest MyiLibrary Digital eBook Collection  |b IDEB  |n 193816 
938 |a YBP Library Services  |b YANK  |n 2889269 
994 |a 92  |b IZTAP